21![Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys](https://www.pdfsearch.io/img/673bc1a3355ab1d0e02eb7ce55c6cf0f.jpg) | Add to Reading ListSource URL: web.cecs.pdx.eduLanguage: English - Date: 2005-10-01 03:14:52
|
---|
22![Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo Title: F# Type Providers – Unleashing the Semantic Web with Programming Languages Abstract: The Semantic Web and the Linking Open Data initiative address the need for machine-readable Web content where the Web is no lo](https://www.pdfsearch.io/img/44e2e391bf08ba42e5e189e9176b5637.jpg) | Add to Reading ListSource URL: iswc2011.semanticweb.orgLanguage: English - Date: 2011-09-21 14:16:02
|
---|
23![EXTREMAL FUNCTIONS FOR MOSER-TRUDINGER TYPE INEQUALITY ON COMPACT CLOSED 4-MANIFOLDS YUXIANG LI, CHEIKH BIRAHIM NDIAYE Abstract. Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of e EXTREMAL FUNCTIONS FOR MOSER-TRUDINGER TYPE INEQUALITY ON COMPACT CLOSED 4-MANIFOLDS YUXIANG LI, CHEIKH BIRAHIM NDIAYE Abstract. Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of e](https://www.pdfsearch.io/img/7b6cd943fd2dd2b0b7ade8e7c754219d.jpg) | Add to Reading ListSource URL: faculty.math.tsinghua.edu.cnLanguage: English - Date: 2006-09-11 12:00:00
|
---|
24![Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract Gradual Type Precision as Retraction Max S. New Northeastern University POPL 2017 Student Research Competition Extended Abstract](https://www.pdfsearch.io/img/1c61cf60cc9feee8ad54a3fb4e25f891.jpg) | Add to Reading ListSource URL: maxsnew.github.io- Date: 2018-03-23 16:34:38
|
---|
25![The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract](https://www.pdfsearch.io/img/41e0d2519ad52aca46e9b0215017f398.jpg) | Add to Reading ListSource URL: jonathan.protzenko.fr- Date: 2015-01-02 09:04:04
|
---|
26![Extended abstract: Type oriented programming for task based parallelism 1 Nick Brown Extended abstract: Type oriented programming for task based parallelism 1 Nick Brown](https://www.pdfsearch.io/img/d3a2bc0b57d82b431de21ed4e99336dd.jpg) | Add to Reading ListSource URL: tydeworkshop.org- Date: 2017-11-13 07:34:26
|
---|
27![Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley Differential Cohesive Type Theory (Extended Abstract)∗ Jacob A. Gross1 , Daniel R. Licata2 , Max S. New3 , Jennifer Paykin4 , Mitchell Riley2 , Michael Shulman5 , and Felix Wellen6 1 University of Pittsburgh, 2 Wesley](https://www.pdfsearch.io/img/56ca8c3d641d9b8ae28383bc25ce78ee.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
28![Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract](https://www.pdfsearch.io/img/e80b5ebd0f43f06402ef08c2758219a1.jpg) | Add to Reading ListSource URL: scheme2016.snow-fort.org- Date: 2016-09-23 10:04:45
|
---|
29![Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s](https://www.pdfsearch.io/img/779e9f37a5197fb7cf289373b2c78480.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
30![Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract](https://www.pdfsearch.io/img/2e4ca9fc498ca54f137c4a39301e210c.jpg) | Add to Reading ListSource URL: www.anupamdas.com- Date: 2017-08-07 04:57:01
|
---|